integer factorization 72